Journal of Mathematical Logic - PDFSEARCH.IO - Document Search Engine

Journal of Mathematical Logic
Results: 125

#	Item
61	Journal of Articial Intelligence Research[removed] Submitted 4/98; published[removed]A Temporal Description Logic for Reasoning about Actions and Plans Add to Reading List Source URL: www.jair.org Language: English - Date: 2006-02-07 22:52:18 Non-classical logic Knowledge representation Artificial intelligence Philosophical logic Model theory Temporal logic Description logic Interval temporal logic Modal logic Logic Science Mathematical logic
62	Journal of Computer Security[removed]–1210 DOI[removed]JCS[removed]IOS Press 1157 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-21 11:18:30 Model theory Operator theory Linear algebra Formal languages Petri net Trace Finite set Von Neumann algebra Interpretation Mathematics Mathematical logic Logic
63	 doi: ./j.-...x ©  The Author Journal compilation ©  The Editors of The Philosophical Quarterly Published by Blackwell Add to Reading List Source URL: cdm.unimo.it Language: English - Date: 2007-12-15 12:49:12 Epistemologists Skepticism Philosophical movements Mathematical logic G. E. Moore Philosophical skepticism Here is a hand Mathematical proof John McDowell Philosophy Epistemology Analytic philosophers
64	Journal of Artificial Intelligence Research[removed]151 Submitted 8/05; published 6/06 Admissible and Restrained Revision Richard Booth Add to Reading List Source URL: www.jair.org Language: English - Date: 2009-08-06 19:20:22 Logic Logic programming Constructible universe Ordinal number Binding Mathematical logic Science Linguistics Belief revision Knowledge representation
65	Journal of Applied Logic[removed]–113 Contents lists available at ScienceDirect Journal of Applied Logic www.elsevier.com/locate/jal Add to Reading List Source URL: centria.di.fct.unl.pt Language: English - Date: 2010-10-08 06:35:38 Linear algebra Norm Philosophy of language Philosophy of law Permission Lp space Function Filesystem permissions Logic programming Mathematics Algebra Mathematical analysis
66	JOURNAL OF INFORMATION ARCHITECTURE \| VOLUME 2 ISSUE 2 PEER-REVIEWED PAPER Martin Frické University of Arizona Add to Reading List Source URL: journalofia.org Language: English - Date: 2011-01-31 09:25:41 Knowledge representation Abstraction Predicate logic Model theory Library classification Hierarchy Function Predicate Property Mathematical logic Logic Mathematics
67	Journal of Artificial Intelligence Research[removed]204 Submitted 06/07; published[removed]Conjunctive Query Answering for the Description Logic SHIQ Add to Reading List Source URL: www.jair.org Language: English - Date: 2009-08-06 19:21:15 Finite model theory Ontology Descriptive complexity Conjunctive query Database theory Computational complexity theory Conjunctive normal form FO Description logic Theoretical computer science Mathematics Mathematical logic
68	Heylighen F[removed]): "A Structural Language for the Foundations of Physics", International Journal of General Systems 18, p[removed]A Structural Language for the Foundations of Physics FRANCIS HEYLIGHEN Add to Reading List Source URL: pespmc1.vub.ac.be Language: English - Date: 2014-05-02 12:27:43 Constructible universe Ordinal number Quantum logic Dimensionless physical constant Function Abstraction Net Predicate Ordinal arithmetic Mathematics Mathematical logic Logic
69	Heylighen F[removed]): "A Structural Language for the Foundations of Physics", International Journal of General Systems 18, p[removed]A Structural Language for the Foundations of Physics FRANCIS HEYLIGHEN Add to Reading List Source URL: pespmc1.vub.ac.be Language: English - Date: 2014-05-02 12:27:43 Constructible universe Ordinal number Quantum logic Dimensionless physical constant Function Abstraction Net Predicate Ordinal arithmetic Mathematics Mathematical logic Logic
70	The Best Question Achille C. Varzi Department of Philosophy, Columbia University, New York (Published in the Journal of Philosophical Logic 30:[removed]), 251–258) Add to Reading List Source URL: www.columbia.edu Language: English - Date: 2002-05-05 17:23:26 Ethics Philosophical logic Theories of truth Philosophy of language Veracity Question Proposition Truth Analytic–synthetic distinction Logic Philosophy Mathematical logic